TAGs: rewrite logarithmic equation